Subjects: Concurrent Kleene algebra; Kleene algebra with tests; free model
تفاصيل العنوان
Subjects: Linear Algebra; Domain-Specific Languages; Tagless Final
Subjects: Determinant equivalence test; full matrix algebra isomorphism; Lie algebra
Subjects: computational algebra; post-quantum cryptography; quantum circuit complexity